A Specification Technique for Building Interface Agents in a Web Environment

نویسنده

  • Boris van Schooten
چکیده

This papers explores some system design issues regarding the structuring and information flow of complex distributed virtual environments (VEs) containing one or more users and dialogue agents. A specification technique is proposed for modelling such systems. We define a specification technique as a suite of interrelated specification languages. It is argued that specification techniques should support gradual design refinement. Therefore, the proposed technique provides several detail levels of specification. Furthermore, the technique tries to explicitly address distributed implementation issues right from the start. Even prototypes made using the technique are suited for distributed usage. The basic idea behind the technique is that all physical objects, such as user interface components and objects in the VE, are modelled as separate software components. These are arranged in a specific structure, reflecting the actual physical or conceptual structure of the objects. A change notification model is provided that enables each component to react to events from its local structural environment, including additions and removals of other components. The technique is illustrated by means of a Web-based multi-user VE incorporating an environment-aware dialogue agent. The example shows how such a system may be structured in a natural way using the technique and may be specified concisely. The provided change notification model may be considered effective, as it largely replaces the need to directly pass messages between components. However, the still limited expressivity of the change notification model was sometimes found cumbersome, and needs to be improved.

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

A model for specification, composition and verification of access control policies and its application to web services

Despite significant advances in the access control domain, requirements of new computational environments like web services still raise new challenges. Lack of appropriate method for specification of access control policies (ACPs), composition, verification and analysis of them have all made the access control in the composition of web services a complicated problem. In this paper, a new indepe...

متن کامل

A Model of Architectural Factors Influence on Students' Perception of School Climate for Providing School Connectedness

Background and Objectives: The aim of this research was to introduce architectural factors, influencing students' perception of school climate, having a great effect on students' achievement academically, mentally and physically, one of the problems of high school students is their unwillingness for learning and passes their times at educational setting. School connectedness has an effect on st...

متن کامل

designing and implementing a 3D indoor navigation web application

​During the recent years, the need arises for indoor navigation systems for guidance of a client in natural hazards and fire, due to the fact that human settlements have been complicating. This research paper aims to design and implement a visual indoor navigation web application. The designed system processes CityGML data model automatically and then, extracts semantic, topologic and geometric...

متن کامل

A Software Toolkit for Web-Based Virtual Environments Based on a Shared Database

We propose a software toolkit for developing complex web-based user interfaces, incorporating such things as multi-user facilities, virtual environments (VEs), and interface agents. The toolkit is based on a novel software architecture that combines ideas from multi-agent platforms and user interface (UI) architectures. It provides a distributed shared database with publish-subscribe facilities...

متن کامل

Web Service Choreography Verification Using Z Formal Specification

Web Service Choreography Description Language (WS-CDL) describes and orchestrates the services interactions among multiple participants. WS-CDL verification is essential since the interactions would lead to mismatches. Existing works verify the messages ordering, the flow of messages, and the expected results from collaborations. In this paper, we present a Z specification of WS-CDL. Besides ve...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2000